what is suprimum and infimum